Formalizing Graphical Service Descriptions Using SDL
نویسنده
چکیده
It is convenient to describe telecomms services using a graphical notation that is accessible to non-specialists. However, the notation should also have a formal interpretation for rigorous analysis. CRESS (Chisel Representation Employing Systematic Specification) has been developed for this purpose. A brief overview of CRESS is given. It is explained how features (additional services) can be defined in a modular fashion, and automatically combined with a base service. Brief case studies illustrate how the approach has been used to describe services in the IN (Intelligent Network), SIP (Session Initiation Protocol), and IVR (Interactive Voice Response). Finally, it is shown how CRESS diagrams are translated into SDL for automated simulation, validation and implementation.
منابع مشابه
Towards Service-Based Systems Engineering: Formalizing and μ-Checking Service Descriptions
Using graphical description techniques for the modeling of distributed reactive systems is especially useful in the early phases like requirements engineering. There, often a trial-and-error approach is applied to develop a first system specification. Thus, even there a precise meaning of those description techniques is necessary to check for consistency and completeness of a service-oriented d...
متن کاملExperiences of Modelling and Using Object-oriented Telecommunication Service Frameworks in Sdl
This paper describes experiences in using SDL and its associated tools to create telecommunication services by producing and specialising object oriented frame works The chosen approach recognises the need for the rapid creation of validated telecommunication services It introduces two stages to service creation rstly a software expert produces a service framework and secondly a telecommunicati...
متن کاملRepresenting New Voice Services and Their Features
New voice services are investigated in the fields of Internet telephony (SIP – Session Initiation Protocol) and interactive voice systems (VoiceXML – Voice Extended Markup Language). It is explained how CRESS (Chisel Representation Employing Systematic Specification) can graphically represent services and features in these domains. CRESS is a front-end for detecting feature interactions and for...
متن کاملTowards an automatic transformation from a DEVS to a SDL specification
SDL is a graphical language, standardized under the Z.100 recommendation, widely used to represent telecommunication systems, process control and real-time applications in general. In this paper we have three objectives, first present an algorithm that allows the transformation of a DEVS specification to an SDL specification. Second we present a XML representation for the SDL language; this XML...
متن کاملCombined Application of SDL-92, OMT, MSC and TTCN
The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typically described as TMN objects, SDL-92 is used to describe the V5 signalling stack as well as all the distributed components. The resultant combined model is used to automatically produce an efficient C++ implementatio...
متن کامل